A: (342549133 / 30368338, sqrt(68143844781297815) / 30368338)
B: (0, 0)
C: (197 / 13, 0)
a = Segment(B, C)
b = Segment(C, A)
c = Segment(A, B)
AB = Line(A, B)
BC = Line(B, C)
CA = Line(C, A)
aa: acosd(((-a^(2)) + b^(2) + c^(2)) / (((2 * b) * c)))
bb: acosd((a^(2) - b^(2) + c^(2)) / (((2 * a) * c)))
cc: acosd((a^(2) + b^(2) - c^(2)) / (((2 * a) * b)))
xx: sqrt((((b * (a + b - c)) * c) * (a - b + c)))
a1 = Barycenter({A, B, C}, {0, (2 * (a + b - c)), (2 * (a - b + c))})
b1 = Barycenter({A, B, C}, {(2 * ((-a) - b + c)), 0, (2 * (a - b - c))})
c1 = Barycenter({A, B, C}, {(2 * ((-a) + b - c)), (2 * (a - b - c)), 0})
cΓa = Barycenter({A, B, C}, {(a * b) - b^(2) + (a * c) + ((2 * b) * c) - c^(2) - (2 * sqrt((((b * (a + b - c)) * c) * (a - b + c)))), (b * ((-a) + b + c)), (-(((a - b - c) * c)))})
D = Intersect(AB, OrthogonalLine[cΓa, AB])
Γa = Circle(cΓa, D)
cγa = Barycenter({A, B, C}, {(((2 * a) * (a + b - c)) * (a - b + c)), (-(((a + b - c) * (a^(2) - ((2 * a) * b) + b^(2) - c^(2) - (2 * sqrt((((b * (a + b - c)) * c) * (a - b + c)))))))), (-(((a - b + c) * (a^(2) - b^(2) - ((2 * a) * c) + c^(2) - (2 * sqrt((((b * (a + b - c)) * c) * (a - b + c))))))))})
γa = Circle(cγa, a1)
Z6 = Intersect(Line[TriangleCenter[a1, b1, c1, 12], TriangleCenter[a1, b1, c1, 121]], Line[TriangleCenter[a1, b1, c1, 43], TriangleCenter[a1, b1, c1, 57]])
Z7 = Intersect(Line[TriangleCenter[a1, b1, c1, 3], TriangleCenter[a1, b1, c1, 595]], Line[TriangleCenter[a1, b1, c1, 165], TriangleCenter[a1, b1, c1, 970]])
d = Circle(Z7, Z6)
γ = Incircle(a1, b1, c1)
b1c1 = Segment(b1, c1)
c1a1 = Segment(c1, a1)
a1b1 = Segment(a1, b1)
X177 = TriangleCenter(A, B, C, 177)
zz: sqrt((((a * b) * (a - b + c)) * ((-a) + b + c)))
yy: sqrt((((a * (a + b - c)) * c) * ((-a) + b + c)))
cΓb = Barycenter({A, B, C}, {((-a) * ((-a) + b - c)), (-a^(2)) + (a * b) + ((2 * a) * c) + (b * c) - c^(2) - (2 * yy), (c * (a - b + c))})
E = Intersect(BC, OrthogonalLine[cΓb, BC])
Γb = Circle(cΓb, E)
cΓc = Barycenter({A, B, C}, {(a * (a + b - c)), ((-b) * ((-a) - b + c)), (-a^(2)) + ((2 * a) * b) - b^(2) + (a * c) + (b * c) - (2 * zz)})
G = Intersect(CA, OrthogonalLine[cΓc, CA])
Γc = Circle(cΓc, G)
cγb = Barycenter({A, B, C}, {(((2 * a) * (a + b - c)) * c) + ((a - b + c) * yy), ((2 * b) * yy), (((2 * a) * c) * ((-a) + b + c)) + ((a - b + c) * yy)})
γb = Circle(cγb, b1)
cγc = Barycenter({A, B, C}, {(((2 * a) * b) * (a - b + c)) + ((a + b - c) * zz), (((2 * a) * b) * ((-a) + b + c)) + ((a + b - c) * zz), ((2 * c) * zz)})
γc = Circle(cγc, c1)
a2 = Barycenter({A, B, C}, {(((a + b - c) * (a - b + c)) * ((2 * a^(3)) - ((3 * a^(2)) * b) + ((2 * a) * b^(2)) - b^(3) - ((3 * a^(2)) * c) - (((24 * a) * b) * c) + (b^(2) * c) + ((2 * a) * c^(2)) + (b * c^(2)) - c^(3))) + ((4 * (a^(3) + (a^(2) * b) - ((3 * a) * b^(2)) + b^(3) + (a^(2) * c) + (((6 * a) * b) * c) - (b^(2) * c) - ((3 * a) * c^(2)) - (b * c^(2)) + c^(3))) * xx) - (((2 * (a - b + c)) * (a^(2) + ((4 * a) * b) + (7 * b^(2)) - ((2 * a) * c) - ((8 * b) * c) + c^(2))) * yy) - (((2 * (a + b - c)) * (a^(2) - ((2 * a) * b) + b^(2) + ((4 * a) * c) - ((8 * b) * c) + (7 * c^(2)))) * zz), (-(((((a - b - c) * (a + b - c)) * (a + b + c)) * (a^(2) - (a * b) - ((2 * a) * c) - (b * c) + c^(2) - (2 * yy))))), (-(((((a - b - c) * (a - b + c)) * (a + b + c)) * (a^(2) - ((2 * a) * b) + b^(2) - (a * c) - (b * c) - (2 * zz)))))})
b2 = Barycenter({A, B, C}, {(-((((((-a) + b - c) * (a + b - c)) * (a + b + c)) * (((-a) * b) + b^(2) - (a * c) - ((2 * b) * c) + c^(2) - (2 * xx))))), (((a + b - c) * ((-a) + b + c)) * ((-a^(3)) + ((2 * a^(2)) * b) - ((3 * a) * b^(2)) + (2 * b^(3)) + (a^(2) * c) - (((24 * a) * b) * c) - ((3 * b^(2)) * c) + (a * c^(2)) + ((2 * b) * c^(2)) - c^(3))) - (((2 * ((-a) + b + c)) * ((7 * a^(2)) + ((4 * a) * b) + b^(2) - ((8 * a) * c) - ((2 * b) * c) + c^(2))) * xx) + ((4 * (a^(3) - ((3 * a^(2)) * b) + (a * b^(2)) + b^(3) - (a^(2) * c) + (((6 * a) * b) * c) + (b^(2) * c) - (a * c^(2)) - ((3 * b) * c^(2)) + c^(3))) * yy) - (((2 * (a + b - c)) * (a^(2) - ((2 * a) * b) + b^(2) - ((8 * a) * c) + ((4 * b) * c) + (7 * c^(2)))) * zz), (-((((((-a) + b - c) * ((-a) + b + c)) * (a + b + c)) * (a^(2) - ((2 * a) * b) + b^(2) - (a * c) - (b * c) - (2 * zz)))))})
c2 = Barycenter({A, B, C}, {(-((((((-a) - b + c) * (a - b + c)) * (a + b + c)) * (((-a) * b) + b^(2) - (a * c) - ((2 * b) * c) + c^(2) - (2 * xx))))), (-((((((-a) - b + c) * ((-a) + b + c)) * (a + b + c)) * (a^(2) - (a * b) - ((2 * a) * c) - (b * c) + c^(2) - (2 * yy))))), (((a - b + c) * ((-a) + b + c)) * ((-a^(3)) + (a^(2) * b) + (a * b^(2)) - b^(3) + ((2 * a^(2)) * c) - (((24 * a) * b) * c) + ((2 * b^(2)) * c) - ((3 * a) * c^(2)) - ((3 * b) * c^(2)) + (2 * c^(3)))) - (((2 * ((-a) + b + c)) * ((7 * a^(2)) - ((8 * a) * b) + b^(2) + ((4 * a) * c) - ((2 * b) * c) + c^(2))) * xx) - (((2 * (a - b + c)) * (a^(2) - ((8 * a) * b) + (7 * b^(2)) - ((2 * a) * c) + ((4 * b) * c) + c^(2))) * yy) + ((4 * (a^(3) - (a^(2) * b) - (a * b^(2)) + b^(3) - ((3 * a^(2)) * c) + (((6 * a) * b) * c) - ((3 * b^(2)) * c) + (a * c^(2)) + (b * c^(2)) + c^(3))) * zz)})
a3 = Barycenter({A, B, C}, {((((a + b - c)^(2) * (a - b + c)^(2)) * (a + b + c)) * ((a * b) - b^(2) + (a * c) + ((2 * b) * c) - c^(2) + (2 * xx))), (((a - b - c) * (a + b - c)) * ((((a + b - c) * (a - b + c)) * ((a^(2) * b) - ((2 * a) * b^(2)) + b^(3) + (((6 * a) * b) * c) - ((2 * b^(2)) * c) - ((2 * a) * c^(2)) - (b * c^(2)) + (2 * c^(3)))) - (((3 * a^(3)) + ((3 * a^(2)) * b) - ((7 * a) * b^(2)) + b^(3) + ((3 * a^(2)) * c) + (((14 * a) * b) * c) - (b^(2) * c) - ((7 * a) * c^(2)) - (b * c^(2)) + c^(3)) * xx) - (((a - b + c) * (a^(2) - (5 * b^(2)) + ((2 * a) * c) + ((8 * b) * c) - (3 * c^(2)))) * yy) + (((a + b - c) * (a^(2) - ((2 * a) * b) + b^(2) + ((4 * a) * c) - ((8 * b) * c) + (7 * c^(2)))) * zz))), (((a - b - c) * (a - b + c)) * ((((a + b - c) * (a - b + c)) * (((-2 * a) * b^(2)) + (2 * b^(3)) + (a^(2) * c) + (((6 * a) * b) * c) - (b^(2) * c) - ((2 * a) * c^(2)) - ((2 * b) * c^(2)) + c^(3))) - (((3 * a^(3)) + ((3 * a^(2)) * b) - ((7 * a) * b^(2)) + b^(3) + ((3 * a^(2)) * c) + (((14 * a) * b) * c) - (b^(2) * c) - ((7 * a) * c^(2)) - (b * c^(2)) + c^(3)) * xx) + (((a - b + c) * (a^(2) + ((4 * a) * b) + (7 * b^(2)) - ((2 * a) * c) - ((8 * b) * c) + c^(2))) * yy) - (((a + b - c) * (a^(2) + ((2 * a) * b) - (3 * b^(2)) + ((8 * b) * c) - (5 * c^(2)))) * zz)))})
b3 = Barycenter({A, B, C}, {((((-a) + b - c) * (a + b - c)) * ((((a + b - c) * ((-a) + b + c)) * (a^(3) - ((2 * a^(2)) * b) + (a * b^(2)) - ((2 * a^(2)) * c) + (((6 * a) * b) * c) - (a * c^(2)) - ((2 * b) * c^(2)) + (2 * c^(3)))) - ((((-a) + b + c) * ((-5 * a^(2)) + b^(2) + ((8 * a) * c) + ((2 * b) * c) - (3 * c^(2)))) * xx) - ((a^(3) - ((7 * a^(2)) * b) + ((3 * a) * b^(2)) + (3 * b^(3)) - (a^(2) * c) + (((14 * a) * b) * c) + ((3 * b^(2)) * c) - (a * c^(2)) - ((7 * b) * c^(2)) + c^(3)) * yy) + (((a + b - c) * (a^(2) - ((2 * a) * b) + b^(2) - ((8 * a) * c) + ((4 * b) * c) + (7 * c^(2)))) * zz))), ((((a + b - c)^(2) * ((-a) + b + c)^(2)) * (a + b + c)) * ((-a^(2)) + (a * b) + ((2 * a) * c) + (b * c) - c^(2) + (2 * yy))), ((((-a) + b - c) * ((-a) + b + c)) * ((((a + b - c) * ((-a) + b + c)) * ((2 * a^(3)) - ((2 * a^(2)) * b) - (a^(2) * c) + (((6 * a) * b) * c) + (b^(2) * c) - ((2 * a) * c^(2)) - ((2 * b) * c^(2)) + c^(3))) + ((((-a) + b + c) * ((7 * a^(2)) + ((4 * a) * b) + b^(2) - ((8 * a) * c) - ((2 * b) * c) + c^(2))) * xx) - ((a^(3) - ((7 * a^(2)) * b) + ((3 * a) * b^(2)) + (3 * b^(3)) - (a^(2) * c) + (((14 * a) * b) * c) + ((3 * b^(2)) * c) - (a * c^(2)) - ((7 * b) * c^(2)) + c^(3)) * yy) - (((a + b - c) * ((-3 * a^(2)) + ((2 * a) * b) + b^(2) + ((8 * a) * c) - (5 * c^(2)))) * zz)))})
c3 = Barycenter({A, B, C}, {((((-a) - b + c) * (a - b + c)) * ((((a - b + c) * ((-a) + b + c)) * (a^(3) - ((2 * a^(2)) * b) - (a * b^(2)) + (2 * b^(3)) - ((2 * a^(2)) * c) + (((6 * a) * b) * c) - ((2 * b^(2)) * c) + (a * c^(2)))) - ((((-a) + b + c) * ((-5 * a^(2)) + ((8 * a) * b) - (3 * b^(2)) + ((2 * b) * c) + c^(2))) * xx) + (((a - b + c) * (a^(2) - ((8 * a) * b) + (7 * b^(2)) - ((2 * a) * c) + ((4 * b) * c) + c^(2))) * yy) - ((a^(3) - (a^(2) * b) - (a * b^(2)) + b^(3) - ((7 * a^(2)) * c) + (((14 * a) * b) * c) - ((7 * b^(2)) * c) + ((3 * a) * c^(2)) + ((3 * b) * c^(2)) + (3 * c^(3))) * zz))), ((((-a) - b + c) * ((-a) + b + c)) * ((((a - b + c) * ((-a) + b + c)) * ((2 * a^(3)) - (a^(2) * b) - ((2 * a) * b^(2)) + b^(3) - ((2 * a^(2)) * c) + (((6 * a) * b) * c) - ((2 * b^(2)) * c) + (b * c^(2)))) + ((((-a) + b + c) * ((7 * a^(2)) - ((8 * a) * b) + b^(2) + ((4 * a) * c) - ((2 * b) * c) + c^(2))) * xx) - (((a - b + c) * ((-3 * a^(2)) + ((8 * a) * b) - (5 * b^(2)) + ((2 * a) * c) + c^(2))) * yy) - ((a^(3) - (a^(2) * b) - (a * b^(2)) + b^(3) - ((7 * a^(2)) * c) + (((14 * a) * b) * c) - ((7 * b^(2)) * c) + ((3 * a) * c^(2)) + ((3 * b) * c^(2)) + (3 * c^(3))) * zz))), ((((a - b + c)^(2) * ((-a) + b + c)^(2)) * (a + b + c)) * ((-a^(2)) + ((2 * a) * b) - b^(2) + (a * c) + (b * c) + (2 * zz)))})
X10489 = Barycenter({A, B, C}, {(((a + b - c) * (a - b + c)) * ((a * b) - b^(2) + (a * c) + ((2 * b) * c) - c^(2) + (2 * xx))), (((a + b - c) * ((-a) + b + c)) * ((-a^(2)) + (a * b) + ((2 * a) * c) + (b * c) - c^(2) + (2 * yy))), (((a - b + c) * ((-a) + b + c)) * ((-a^(2)) + ((2 * a) * b) - b^(2) + (a * c) + (b * c) + (2 * zz)))})